 F where
    F = 1 fby (F fby F + next F);
   end
